Tools and Algorithms for the Construction and Analysis of Systems: 14th International Conference, TACAS 2008, Held as Part of the Joint European ... Computer Science and General Issues)
by
ISBN 13: 9783540787990
Format: Paperback (518 pages) Publisher: Springer Published: 18 Mar 2008
Save for later